机译:关于归纳微积分中模态微积分的形式化
机译:使用变分原理和偏微分方程对retinex模型及其变体进行形式化
机译:Shikake原理和示例的Answer Set Prolog形式化
机译:在电感结构微积分中进行#MUM#-Calculus的懒惰替代证明系统
机译:理解和归纳:三位亚里士多德评论家对第一性原理的认知,包括约翰·伯里丹(John Buridan)的“关于亚里士多德后验分析的两个问题”的原始译本。
机译:微生物电化学系统:原理施工和生物传感应用
机译:归纳原理的独立性和纯结构的选择公理
机译:在建构微积分中形式化过程代数验证